|
|
Algorithms and theory of computation handbook :
Publication:
Boca Raton, FL : Chapman & Hall/CRC, 2010
. Various paging
27 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(4),
|
|
|
Algorithms and theory of computation handbook.
Publication:
Boca Raton, FL : Taylor & Francis, 2009
. Various paging
27 cm.
Date:2009
Availability:
Copies available:
AUM Main Library
(4),
|
|
|
Concurrency, compositionality, and correctness : , essays in honor of Willem-Paul De Roever /
Publication:
New York : Springer, 2010
. x, 375 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recent trends in network security and applications : , third international conference, proceedings, CNSA 2010, Chennai, India, July 23-25, 2010 /
Publication:
Berlin : Springer, 2010
. xx, 636 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Human benefit through the diffusion of information systems design science research : , IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30-April 1, 2010, proceedings /
Publication:
New York : Springer, 2010
. xiii, 349 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Information, physics, and computation /
by Mezard, Marc.
Publication:
Oxford : Oxford University Press, 2009
. xiii, 569 p. :
25 cm.
Date:2009
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Bioinspired models of network, information, and computing systems : , 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009 : revised selected papers /
Publication:
New York : Springer, 2010
. xii, 202 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A science of operations : , machines, logic and the invention of programming /
by Priestley, Mark.
Publication:
New York : Springer, 2011
. ix, 341p. ;
25 cm.
Date:2011
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Innovations in computing sciences and software engineering /
Publication:
New York : Springer 2010
. xix, 638 p. :
25 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. xvi, 676 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /
Publication:
Berlin : Springer, 2010
. x, 283 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /
Publication:
Berline : Springer, 2010
. viii, 274 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Engineering secure software and systems : , Second International Symposium, Essos 2010, Pisa, Italy, February 3-4, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 240 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Requirements engineering : , foundation for software quality : 16th International Working Conference, Refsq 2010, Essen, Germany, June 30-July 2, 2010. proceeding /
Publication:
Berlin : Springer, 2010
. xi, 280 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advances in databases and information systems : , associated workshops and doctoral consortium of the 13th East European Conference, ADBIS 2009, Riga, Latvia, September 7-10, 2009 : revised selected papers /
Publication:
New York : Springer, 2010
. xv, 256 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /
Publication:
Berlin : Springer, 2010
. xiv, 416 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Information retrieval architecture and algorithms /
by Kowalski, Gerald
Publication:
New York : Springer, 2011
. xii, 305 p. :
Date:2011
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theoretical computer science : , lectures given at a summer school of the centro internazionale matematico Estivo (C.I.M.E) held in Bressanon (Bolzano), Italy, June 9-17, 1975 /
Publication:
Berlin : Springer, 2011
. 184 p. :
Date:2011
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
Adaptive multimedia retrieval : , identifying summarizing, and recommending image and Music : 6th International Workshop, AMR, 2008, Berlin, Germany, June 26 -27, 2008 : revised selected papers /
Publication:
Berlin : Springer, 2010
. x, 183 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(2),
|
|
|
High performance computing and applications : , International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers /
Publication:
New York : Springer, 2010
. xv, 589 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|